try {
	var htmlStr = "%@".toLowerCase().replace(/'/g, '"');
	if (!document || !document.documentElement || !document.documentElement.innerHTML) {
		return true;
	}
	return (document.documentElement.innerHTML.toLowerCase().indexOf(htmlStr) == -1);
} catch (e) {
	return "_TOD_ERROR: " + e.toString();
}
